Works by Peter H. Schmitt

( view other items matching `Peter H. Schmitt`, view all matches )
4 found
Order:
  1.  17
    (1 other version)The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.Peter H. Schmitt - 1982 - Mathematical Logic Quarterly 28 (22‐24):323-329.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial.Wolfgang Ahrendt, Bernhard Beckert, Reiner Hahnle, Philipp Rummer & Peter H. Schmitt - 2006 - In O. Stock & M. Schaerf, Lecture Notes In Computer Science. Springer Verlag. pp. 70.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  66
    Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
    We prove the hereditary undecidability of the L t theories of: (1) torsion-free Hausdorff topological abelian groups; (2) locally pure Hausdorff topological abelian groups.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  73
    Logic programming languages, constraints, functions, and objects, edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten, Logic programming, The MIT Press, Cambridge, Mass., and London, 1993, xiv + 204 pp. [REVIEW]Peter H. Schmitt - 1995 - Journal of Symbolic Logic 60 (4):1327-1328.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark